COMMENT ⊗   VALID 00007 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Applications:
C00004 00003	Good overviews
C00005 00004	Questions:
C00006 00005	Schools
C00009 00006	Companies
C00010 00007	People - were are they now?
C00011 ENDMK
C⊗;
Applications:
	Mikowski (UofI) Liver & SoyBean
	Curcuit Design - @ MIT - McDermott

Naive
	Hayes - liquids
	Kuipers - TOUR (IJCAI 499)
	Kahn - Esthetics (IJCAI-79 448)
	Collins - plausible reasoning

Robot
	Hibra (IJCAI-79 335)

Games
	Chess: Michie (Edinborough) - w/end games
	GO: Several in IJCAI-79 
		- one pretty good, othe just brute force (sub-problem)

Language
	Prolog
	OPS2 - Forgy & McDermott (CMU) - for production rules
	NSLA? - MIT's McDermott

Program Verification:
	Prolog (see Auto Prog)
	Moll & Ulrich (by Analogy) (IJCAI-79 592)

Program Assistent
	Shrobe et al. - Program Apprentice
	Ruven Brooks (UofTexas) & Stephen Fickas (UofI) - ala Program Apprentice
	Mostow & R.Hayes-Roth -Operationalizing Heuristics (IJCAI-79 601)

Auto Prog
	using Prolog (IJCAI 79, 350)
	440- BMW Matching techique

NL

Story Telling:
	Charniak, Meehen [Talespin - Yale, "MetaNovel"]

Discourse Analysis
 IJCAI-79: Hobbs, Coop, HI-IQ, Kuhn(Georgetown)&Joshi(UofPenn), Hayes&Reddy
	Grosz

NL/DB query - Jets (Finn, Goldman, Tenet - UofI) [from Waltz's PLANES)
	Kaplan - Coop
	Janas - HI-IQ (IJCAI 429)

Good overviews

Vision - Brooks et al (IJCAI-79)
Learning - Deittrich & Mikowski (IJCAI-79)
Relaxation - Montlvo & Weisstein (Naomi) (IJCAI-79 595)
Questions:

 Latombe "TROPIC" - CAD System
 EXPERT - at Rutgers (?Weiss et al? | ?Sridhara?) - rel'n with EMYCIN
	AIMDS
Schools

Stanford
 Ed Feigenbaum, Bruce Buchanan, John McCarthy, Terry Winograd, Doug Lenat,
	Mike Genereseth, Tom Binford
 Dave Luckham, Zohar Manna, Richard Weyrauch
 [Ted Shortliffe, Jerry Kaplan, Barry Soroka, Lew Creary,
	Bill Clancey, Jan Aikins, Jim Bennett,  Larry Fagan, Peter Friedland ...]
CMU
  Herbert Simon, Alan Newell, Raj Reddy, Elaine Kant, Jamie Carbonell
  [Rychener, Moravec, ...]
  (? McDermott, Forgy, Kahn, Rubin ...)
MIT
  Marvin Minsky, Seymour Papert, Gerry Sussman, Carl Hewitt, David Marr, B. Horn,
	Pat Winston, Peter Szolovitz, Randy Davis, Stallman
	Swartout (Digitalis Advisor)
  [Shrobe, Rich, Waters, Fahlman]
  (Jon Doyle, Guy Steele, Bob Moore, Mitch Marcus, Brian Smith, JonL ...)
U of Edinburgh
  Michie, Brady, Bundy, Tate (NonLinear Planner)
  (Schnier, ...)
Yale
  Roger Shank, Wendy Lehnert, ?Abelson?, Drew McDermott, ?Barstow?
  (Janet Kolodner, ...)
U of Illonois, Champaign-Urbana
  Mikowski, Dave Waltz, 
U of Illonois, Circle-Park
  ? Vere, ? Phillips
U of Indiana
  Hoffstader, Filman
U of Texas, Austin
  Woody Bledsoe, ? Novak, ? Simmons, ? Siklossky, Betram Bruce
U of Calif, Irvine
  Ruven Brooks, {Julian Feldman}, Meehan
U of Mass, Amherst
  ? Reister, ? Arbib
Rutgers
  Jerry Feldman, Sridharan, Weiss, Srinivasan
U of Maryland
U of Pennsylvania
U of New Mexico
  Nancy Martin
U of British Columbia
  Reiter
U of Alberta
  Shubert, Cercone
U of Toronto
  Myopolus, Levesque
U of Sussex
  Pat Hayes
U of Rochester, NY
	Mallory Selfridge,
<Australia> Quilan, Georgeff
<Japan> Kanade,...

	???
U of Calif, Berkeley
  Lofti Zadeh, 
U of Calif, Los Angeles
  Ken Colby 
U of Calif, San Diego
  Norman, Rumblehart
U of NY
  Schwartz

Companies
Xerox
  Alan Kay, Adele Goldberg, John Brown, Danny Bobrow, Ira Goldstein, Richard Fikes
	Ron Kaplan, Mark Stefik
	Weigbreit
SRI
  Bert Raphael, Harry Barrow, Nils Nilsson, ? Tennebaum, Earl Sacerdoti, 
	Barbara Grosz,  Gary Hendrix, Peter? Duda, Peter Hart, Dave Wilkins
  ? Boyer, ? Moore, ? Waldinger
  Anne Robinson (←Planning), Jane Robinson (←Linguist)
RAND
  Rick Hayes-Roth, Barbara Hayes-Roth, ? Mostow, Bob Balzer, Phil Klahr
BBN
  Alan Collins, Bill Woods, Rusty Bobrow, Ron Brachman
ISI
  Stan Rosenshein, ...
SCI
  Cordell Green (other Chi)

Schlumberge-Doll
	Dave Barstow
People - were are they now?
Moore (w/Newell)
Reiter (w/Newell n 1963) & Kowalski
Evans, Kling
Carbonell, Kowalski, Fredkin,  Reiger (& Small), Reisbeck
Warran, Quillan, Erman, deKleer, Charniak, Bruce, Latombe, Wilks, Sharai
McCune, Ginsparg, ...
Lindsay, Ernst
Steele